IsMonHomInj(<,+>;<+>;x.x) 

latex

Up	groups 1
Definitions of Statement	|g|, *, e, Mon, Group{i}, AbGrp, IsMonHom{M1,M2}(f), IsMonHomInj(g;h;f), <+>, <,+>
Definitions	P  Q, t  T, t.2, t.1, , x f y, x:A. B(x), e, *, FunThru2op(A;B;opa;opb;f), |g|, Inj(A;B;f), IsMonHom{M1,M2}(f), P & Q, <+>, <,+>, IsMonHomInj(g;h;f), , False, A, A  B
Lemmas	le wf, nat wf